Flexible-jz.mzn fails.

35 views

Skip to first unread message

unread,

Feb 21, 2025, 11:03:08 PMFeb 21

to MiniZinc

I downloaded flexible-js.mzn from the manual (page 89), but it fails to run. I get this error:

Runnining

MiniZinc: type error: type-inst variable $$E used for different enum types

Process finished with non-zero exit code 1.

Finished in 67msec.

The culprit is the built-in cumulative.

unread,

Feb 24, 2025, 10:19:07 AMFeb 24

to MiniZinc

Thanks! This example will be fixed in the next release.

Reply all

Reply to author

Forward

0 new messages